Nuprl Definition : m-sys-at 11,40
@i: A(j) == if j = i then A else  fi  
latex

Definitions, a = b, if b then t else f fi 
FDL editor aliasesm-sys-at

origin